<div>
  Use WebSocket to connect to the Jenkins master rather than the TCP port. See
  <a href="https://www.jenkins.io/jep/222">JEP-222</a>
  for background.
</div>
